@article{ref1,
  title={Fast dynamic fault tree analysis by model checking techniques},
  author={Volk, M and Junges, S and Katoen, JP},
  journal={IEEE Transactions on Industrial Informatics},
  year={2017},
  volume={14},
  number={1},
  pages={370--379}
}

@article{ref2,
  title={New Algorithms for Solving Minimum Path Sets of Fault Tree Analysis and its Applications},
  author={Dai, ZY},
  journal={Advanced Materials Research},
  year={2014},
  volume={889},
  pages={600--605}
}


@article{ref3,
  title={Random forests},
  author={Breiman, Leo},
  journal={Machine learning},
  volume={45},
  pages={5--32},
  year={2001},
  publisher={Springer}
}

@article{ref4,
  title={Parameter tuning in random forest based on grid search method for gender classification based on voice frequency},
  author={Ramadhan, Muhammad Murtadha and Sitanggang, Imas Sukaesih and Nasution, Fahrendi Rizky and Ghifari, Abdullah},
  journal={DEStech transactions on computer science and engineering},
  volume={10},
  number={2017},
  year={2017}
}